Eta-Expansion Does The Trick
نویسندگان
چکیده
منابع مشابه
The Virtues of Eta-Expansion
Interpreting-conversion as an expansion rule in the simply-typed-calculus maintains the connuence of reduction in a richer type structure. This use of expansions is supported by categorical models of reduction, where-contraction, as the local counit, and-expansion, as the local unit, are linked by local triangle laws. The latter form reduction loops, but strong normalisation (to the long-normal...
متن کاملoes T he T rick ( R evised V ersion ) BRICS Basic Research in Computer Science Eta - Expansion Does The Trick ( Revised
Partial-evaluation folklore has it that massaging one’s source programs can make them specialize better. In Jones, Gomard, and Sestoft’s recent textbook, a whole chapter is dedicated to listing such “binding-time improvements”: nonstandard use of continuationpassing style, eta-expansion, and a popular transformation called “The Trick”. We provide a unified view of these binding-time improvement...
متن کاملThe Essence of Eta-Expansion in Partial Evaluation
Selective eta expansion is a powerful binding time improve ment i e a source program modi cation that makes a partial evaluator yield better results But like most binding time improvements the exact problem it solves and the rea son why have not been formalized and are only understood by few In this paper we describe the problem and the e ect of eta redexes in terms of monovariant binding time ...
متن کاملSingle eta production in heavy quarkonia : breakdown of multipole expansion
The η production in the (n, n ′) bottomonium transitions Υ(n) → Υ(n ′)η, is studied in the method used before for dipion heavy quarko-nia transitions. The widths Γ η (n, n ′) are calculated without fitting parameters for n = 2, 3, 4, 5, n ′ = 1.Resulting Γ η (4, 1) is found to be large in agreement with recent data. Multipole expansion method is shown to be inadequate for large size systems con...
متن کاملEta and Eta’ Physics
This talk describes the reasons why η and η decays are an interesting topic of study for both theory and experiment. The main part discusses the results of the recent calculation of η → 3π at two-loop order in ChPT. Some puzzling aspects of the results compared to earlier dispersive calculations are highlighted. I also like to remind the reader of the use of η and η decays for studying the anom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1995
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v2i41.21673